2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers ... Computer Science and General Issues)
Автор:
Steve Dunne
, Автор:
Bill Stoddart
Категория:
Компьютеры
Размер книги: 2.89 Mb
Unifying Theories of Programming, 1 conf., UTP 2006
Автор:
Steve Dunne
, Автор:
Bill Stoddart
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.24 Mb
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Автор:
Jonathan P. Bowen
, Автор:
Steve Dunne
, Автор:
Andy Galloway
, Автор:
Steve King
Размер книги: 3.23 Mb
